node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
link(1,5) :- #0.758.
link(5,1) :- #0.528.
link(1,35) :- #0.109.
link(35,1) :- #0.68.
link(1,37) :- #0.149.
link(37,1) :- #0.313.
link(1,44) :- #0.665.
link(44,1) :- #0.603.
link(1,64) :- #0.655.
link(64,1) :- #0.589.
link(1,76) :- #0.182.
link(76,1) :- #0.024.
link(1,78) :- #0.653.
link(78,1) :- #0.973.
link(1,85) :- #0.553.
link(85,1) :- #0.414.
link(1,86) :- #0.746.
link(86,1) :- #0.931.
link(1,88) :- #0.66.
link(88,1) :- #0.628.
link(1,96) :- #0.888.
link(96,1) :- #0.688.
link(1,102) :- #0.894.
link(102,1) :- #0.149.
link(1,114) :- #0.578.
link(114,1) :- #0.23.
link(1,121) :- #0.363.
link(121,1) :- #0.811.
link(1,124) :- #0.749.
link(124,1) :- #0.761.
link(1,125) :- #0.897.
link(125,1) :- #0.015.
link(1,128) :- #0.122.
link(128,1) :- #0.759.
link(1,130) :- #0.508.
link(130,1) :- #0.712.
link(2,6) :- #0.054.
link(6,2) :- #0.061.
link(2,16) :- #0.186.
link(16,2) :- #0.121.
link(2,29) :- #0.876.
link(29,2) :- #0.813.
link(2,33) :- #0.404.
link(33,2) :- #0.105.
link(2,35) :- #0.464.
link(35,2) :- #0.291.
link(2,38) :- #0.472.
link(38,2) :- #0.876.
link(2,79) :- #0.322.
link(79,2) :- #0.474.
link(2,83) :- #0.116.
link(83,2) :- #0.632.
link(2,103) :- #0.833.
link(103,2) :- #0.281.
link(2,122) :- #0.569.
link(122,2) :- #0.362.
link(2,125) :- #0.815.
link(125,2) :- #0.708.
link(2,126) :- #0.855.
link(126,2) :- #0.394.
link(2,129) :- #0.181.
link(129,2) :- #0.07.
link(3,7) :- #0.255.
link(7,3) :- #0.741.
link(3,10) :- #0.021.
link(10,3) :- #0.48.
link(3,26) :- #0.558.
link(26,3) :- #0.57.
link(3,40) :- #0.657.
link(40,3) :- #0.737.
link(3,42) :- #0.261.
link(42,3) :- #0.588.
link(3,55) :- #0.435.
link(55,3) :- #0.622.
link(3,74) :- #0.365.
link(74,3) :- #0.94.
link(3,79) :- #0.801.
link(79,3) :- #0.031.
link(3,90) :- #0.744.
link(90,3) :- #0.932.
link(3,100) :- #0.335.
link(100,3) :- #0.455.
link(3,127) :- #0.73.
link(127,3) :- #0.009.
link(4,8) :- #0.376.
link(8,4) :- #0.6.
link(4,16) :- #0.728.
link(16,4) :- #0.71.
link(4,17) :- #0.795.
link(17,4) :- #0.763.
link(4,28) :- #0.482.
link(28,4) :- #0.698.
link(4,31) :- #0.812.
link(31,4) :- #0.282.
link(4,35) :- #0.348.
link(35,4) :- #0.267.
link(4,43) :- #0.987.
link(43,4) :- #0.591.
link(4,54) :- #0.446.
link(54,4) :- #0.423.
link(4,57) :- #0.07.
link(57,4) :- #0.226.
link(4,77) :- #0.196.
link(77,4) :- #0.536.
link(4,82) :- #0.095.
link(82,4) :- #0.436.
link(4,87) :- #0.169.
link(87,4) :- #0.746.
link(4,91) :- #0.329.
link(91,4) :- #0.841.
link(4,92) :- #0.713.
link(92,4) :- #0.516.
link(4,124) :- #0.589.
link(124,4) :- #0.881.
link(5,15) :- #0.89.
link(15,5) :- #0.681.
link(5,19) :- #0.466.
link(19,5) :- #0.439.
link(5,28) :- #0.378.
link(28,5) :- #0.728.
link(5,31) :- #0.485.
link(31,5) :- #0.371.
link(5,55) :- #0.116.
link(55,5) :- #0.168.
link(5,58) :- #0.711.
link(58,5) :- #0.214.
link(5,93) :- #0.361.
link(93,5) :- #0.387.
link(5,99) :- #0.491.
link(99,5) :- #0.863.
link(5,100) :- #0.122.
link(100,5) :- #0.203.
link(5,113) :- #0.228.
link(113,5) :- #0.67.
link(5,124) :- #0.451.
link(124,5) :- #0.135.
link(5,125) :- #0.61.
link(125,5) :- #0.309.
link(5,126) :- #0.176.
link(126,5) :- #0.572.
link(5,128) :- #0.63.
link(128,5) :- #0.898.
link(5,129) :- #0.309.
link(129,5) :- #0.31.
link(6,30) :- #0.851.
link(30,6) :- #0.501.
link(6,34) :- #0.593.
link(34,6) :- #0.21.
link(6,53) :- #0.577.
link(53,6) :- #0.173.
link(6,70) :- #0.53.
link(70,6) :- #0.9.
link(6,75) :- #0.197.
link(75,6) :- #0.641.
link(6,78) :- #0.513.
link(78,6) :- #0.707.
link(6,85) :- #0.692.
link(85,6) :- #0.178.
link(6,111) :- #0.545.
link(111,6) :- #0.517.
link(6,122) :- #0.87.
link(122,6) :- #0.085.
link(7,18) :- #0.884.
link(18,7) :- #0.619.
link(7,29) :- #0.003.
link(29,7) :- #0.793.
link(7,60) :- #0.181.
link(60,7) :- #0.956.
link(7,67) :- #0.228.
link(67,7) :- #0.123.
link(7,82) :- #0.293.
link(82,7) :- #0.838.
link(7,88) :- #0.98.
link(88,7) :- #0.794.
link(7,91) :- #0.511.
link(91,7) :- #0.173.
link(7,107) :- #0.354.
link(107,7) :- #0.331.
link(7,122) :- #0.118.
link(122,7) :- #0.4.
link(8,16) :- #0.048.
link(16,8) :- #0.997.
link(8,23) :- #0.732.
link(23,8) :- #0.788.
link(8,27) :- #0.495.
link(27,8) :- #0.959.
link(8,32) :- #0.
link(32,8) :- #0.856.
link(8,37) :- #0.133.
link(37,8) :- #0.341.
link(8,47) :- #0.989.
link(47,8) :- #0.558.
link(8,57) :- #0.034.
link(57,8) :- #0.089.
link(8,68) :- #0.758.
link(68,8) :- #0.467.
link(8,75) :- #0.395.
link(75,8) :- #0.167.
link(8,79) :- #0.393.
link(79,8) :- #0.602.
link(8,97) :- #0.608.
link(97,8) :- #0.791.
link(8,107) :- #0.7.
link(107,8) :- #0.284.
link(8,112) :- #0.822.
link(112,8) :- #0.492.
link(8,121) :- #0.04.
link(121,8) :- #0.561.
link(8,125) :- #0.323.
link(125,8) :- #0.305.
link(9,13) :- #0.741.
link(13,9) :- #0.422.
link(9,30) :- #0.756.
link(30,9) :- #0.344.
link(9,50) :- #0.474.
link(50,9) :- #0.27.
link(9,51) :- #0.733.
link(51,9) :- #0.37.
link(9,86) :- #0.853.
link(86,9) :- #0.64.
link(9,99) :- #0.738.
link(99,9) :- #0.396.
link(9,102) :- #0.872.
link(102,9) :- #0.985.
link(9,110) :- #0.431.
link(110,9) :- #0.162.
link(9,116) :- #0.17.
link(116,9) :- #0.706.
link(10,15) :- #0.302.
link(15,10) :- #0.922.
link(10,19) :- #0.208.
link(19,10) :- #0.678.
link(10,24) :- #0.622.
link(24,10) :- #0.957.
link(10,36) :- #0.488.
link(36,10) :- #0.838.
link(10,37) :- #0.453.
link(37,10) :- #0.844.
link(10,47) :- #0.804.
link(47,10) :- #0.412.
link(10,65) :- #0.016.
link(65,10) :- #0.558.
link(10,96) :- #0.999.
link(96,10) :- #0.986.
link(10,98) :- #0.612.
link(98,10) :- #0.003.
link(10,126) :- #0.945.
link(126,10) :- #0.37.
link(11,26) :- #0.745.
link(26,11) :- #0.724.
link(11,27) :- #0.836.
link(27,11) :- #0.573.
link(11,34) :- #0.767.
link(34,11) :- #0.058.
link(11,59) :- #0.707.
link(59,11) :- #0.652.
link(11,71) :- #0.792.
link(71,11) :- #0.323.
link(11,74) :- #0.435.
link(74,11) :- #0.838.
link(11,85) :- #0.384.
link(85,11) :- #0.389.
link(11,110) :- #0.749.
link(110,11) :- #0.601.
link(11,111) :- #0.551.
link(111,11) :- #0.707.
link(11,113) :- #0.738.
link(113,11) :- #0.881.
link(11,115) :- #0.414.
link(115,11) :- #0.185.
link(11,126) :- #0.569.
link(126,11) :- #0.
link(11,127) :- #0.786.
link(127,11) :- #0.843.
link(12,18) :- #0.013.
link(18,12) :- #0.043.
link(12,27) :- #0.401.
link(27,12) :- #0.428.
link(12,58) :- #0.66.
link(58,12) :- #0.188.
link(12,60) :- #0.183.
link(60,12) :- #0.076.
link(12,89) :- #0.429.
link(89,12) :- #0.317.
link(12,116) :- #0.219.
link(116,12) :- #0.87.
link(12,129) :- #0.077.
link(129,12) :- #0.829.
link(13,20) :- #0.138.
link(20,13) :- #0.996.
link(13,23) :- #0.536.
link(23,13) :- #0.064.
link(13,27) :- #0.49.
link(27,13) :- #0.195.
link(13,29) :- #0.134.
link(29,13) :- #0.777.
link(13,32) :- #0.18.
link(32,13) :- #0.781.
link(13,59) :- #0.512.
link(59,13) :- #0.432.
link(13,77) :- #0.093.
link(77,13) :- #0.477.
link(13,79) :- #0.372.
link(79,13) :- #0.267.
link(13,81) :- #0.664.
link(81,13) :- #0.566.
link(13,93) :- #0.357.
link(93,13) :- #0.52.
link(13,94) :- #0.446.
link(94,13) :- #0.73.
link(13,104) :- #0.451.
link(104,13) :- #0.426.
link(13,111) :- #0.984.
link(111,13) :- #0.833.
link(13,112) :- #0.22.
link(112,13) :- #0.511.
link(13,121) :- #0.467.
link(121,13) :- #0.827.
link(13,124) :- #0.35.
link(124,13) :- #0.951.
link(13,125) :- #0.559.
link(125,13) :- #0.543.
link(13,130) :- #0.701.
link(130,13) :- #0.723.
link(14,37) :- #0.189.
link(37,14) :- #0.293.
link(14,43) :- #0.083.
link(43,14) :- #0.605.
link(14,46) :- #0.282.
link(46,14) :- #0.784.
link(14,51) :- #0.28.
link(51,14) :- #0.739.
link(14,54) :- #0.027.
link(54,14) :- #0.537.
link(14,72) :- #0.176.
link(72,14) :- #0.129.
link(14,81) :- #0.961.
link(81,14) :- #0.96.
link(14,87) :- #0.975.
link(87,14) :- #0.593.
link(15,44) :- #0.608.
link(44,15) :- #0.876.
link(15,58) :- #0.317.
link(58,15) :- #0.015.
link(15,69) :- #0.503.
link(69,15) :- #0.16.
link(15,75) :- #0.982.
link(75,15) :- #0.256.
link(15,103) :- #0.865.
link(103,15) :- #0.318.
link(15,104) :- #0.891.
link(104,15) :- #0.598.
link(15,111) :- #0.264.
link(111,15) :- #0.194.
link(15,129) :- #0.294.
link(129,15) :- #0.523.
link(16,32) :- #0.864.
link(32,16) :- #0.435.
link(16,40) :- #0.637.
link(40,16) :- #0.842.
link(16,42) :- #0.005.
link(42,16) :- #0.912.
link(16,74) :- #0.266.
link(74,16) :- #0.781.
link(16,82) :- #0.417.
link(82,16) :- #0.82.
link(16,90) :- #0.259.
link(90,16) :- #0.248.
link(16,110) :- #0.386.
link(110,16) :- #0.879.
link(16,123) :- #0.655.
link(123,16) :- #0.998.
link(17,21) :- #0.112.
link(21,17) :- #0.562.
link(17,31) :- #0.64.
link(31,17) :- #0.333.
link(17,32) :- #0.771.
link(32,17) :- #0.142.
link(17,42) :- #0.922.
link(42,17) :- #0.754.
link(17,46) :- #0.791.
link(46,17) :- #0.881.
link(17,50) :- #0.258.
link(50,17) :- #0.196.
link(17,58) :- #0.398.
link(58,17) :- #0.842.
link(17,63) :- #0.493.
link(63,17) :- #0.053.
link(17,81) :- #0.899.
link(81,17) :- #0.584.
link(17,87) :- #0.5.
link(87,17) :- #0.811.
link(17,108) :- #0.643.
link(108,17) :- #0.669.
link(17,109) :- #0.227.
link(109,17) :- #0.179.
link(17,110) :- #0.348.
link(110,17) :- #0.271.
link(17,126) :- #0.841.
link(126,17) :- #0.785.
link(17,129) :- #0.192.
link(129,17) :- #0.729.
link(18,26) :- #0.549.
link(26,18) :- #0.867.
link(18,32) :- #0.716.
link(32,18) :- #0.289.
link(18,42) :- #0.264.
link(42,18) :- #0.528.
link(18,62) :- #0.413.
link(62,18) :- #0.192.
link(18,68) :- #0.605.
link(68,18) :- #0.618.
link(18,76) :- #0.665.
link(76,18) :- #0.279.
link(18,77) :- #0.887.
link(77,18) :- #0.937.
link(18,82) :- #0.131.
link(82,18) :- #0.225.
link(18,84) :- #0.278.
link(84,18) :- #0.079.
link(18,92) :- #0.447.
link(92,18) :- #0.775.
link(18,94) :- #0.479.
link(94,18) :- #0.957.
link(18,95) :- #0.31.
link(95,18) :- #0.101.
link(18,117) :- #0.146.
link(117,18) :- #0.022.
link(19,31) :- #0.217.
link(31,19) :- #0.746.
link(19,45) :- #0.454.
link(45,19) :- #0.617.
link(19,51) :- #0.83.
link(51,19) :- #0.026.
link(19,72) :- #0.245.
link(72,19) :- #0.615.
link(19,91) :- #0.701.
link(91,19) :- #0.127.
link(19,102) :- #0.938.
link(102,19) :- #0.435.
link(19,105) :- #0.696.
link(105,19) :- #0.221.
link(19,112) :- #0.053.
link(112,19) :- #0.337.
link(19,116) :- #0.417.
link(116,19) :- #0.387.
link(19,119) :- #0.766.
link(119,19) :- #0.422.
link(19,122) :- #0.515.
link(122,19) :- #0.985.
link(19,124) :- #0.214.
link(124,19) :- #0.129.
link(20,21) :- #0.272.
link(21,20) :- #0.907.
link(20,41) :- #0.55.
link(41,20) :- #0.251.
link(20,51) :- #0.004.
link(51,20) :- #0.02.
link(20,68) :- #0.366.
link(68,20) :- #0.094.
link(20,80) :- #0.864.
link(80,20) :- #0.497.
link(20,86) :- #0.543.
link(86,20) :- #0.532.
link(20,95) :- #0.631.
link(95,20) :- #0.076.
link(20,109) :- #0.892.
link(109,20) :- #0.343.
link(20,116) :- #0.2.
link(116,20) :- #0.669.
link(20,129) :- #0.619.
link(129,20) :- #0.59.
link(21,23) :- #0.237.
link(23,21) :- #0.06.
link(21,27) :- #0.527.
link(27,21) :- #0.396.
link(21,38) :- #0.909.
link(38,21) :- #0.401.
link(21,58) :- #0.596.
link(58,21) :- #0.536.
link(21,59) :- #0.611.
link(59,21) :- #0.102.
link(21,91) :- #0.537.
link(91,21) :- #0.863.
link(21,101) :- #0.188.
link(101,21) :- #0.984.
link(21,109) :- #0.031.
link(109,21) :- #0.94.
link(21,117) :- #0.567.
link(117,21) :- #0.745.
link(22,24) :- #0.637.
link(24,22) :- #0.022.
link(22,49) :- #0.916.
link(49,22) :- #0.225.
link(22,62) :- #0.813.
link(62,22) :- #0.897.
link(22,77) :- #0.008.
link(77,22) :- #0.294.
link(22,83) :- #0.873.
link(83,22) :- #0.296.
link(23,25) :- #0.354.
link(25,23) :- #0.681.
link(23,33) :- #0.142.
link(33,23) :- #0.845.
link(23,50) :- #0.842.
link(50,23) :- #0.63.
link(23,52) :- #0.472.
link(52,23) :- #0.566.
link(23,58) :- #0.819.
link(58,23) :- #0.86.
link(23,69) :- #0.942.
link(69,23) :- #0.032.
link(23,79) :- #0.385.
link(79,23) :- #0.216.
link(23,100) :- #0.043.
link(100,23) :- #0.72.
link(23,102) :- #0.561.
link(102,23) :- #0.295.
link(23,106) :- #0.367.
link(106,23) :- #0.148.
link(23,115) :- #0.041.
link(115,23) :- #0.839.
link(23,123) :- #0.595.
link(123,23) :- #0.824.
link(24,30) :- #0.837.
link(30,24) :- #0.196.
link(24,33) :- #0.81.
link(33,24) :- #0.295.
link(24,48) :- #0.669.
link(48,24) :- #0.644.
link(24,93) :- #0.529.
link(93,24) :- #0.838.
link(24,94) :- #0.805.
link(94,24) :- #0.935.
link(24,115) :- #0.752.
link(115,24) :- #0.077.
link(24,117) :- #0.997.
link(117,24) :- #0.374.
link(25,34) :- #0.15.
link(34,25) :- #0.848.
link(25,44) :- #0.48.
link(44,25) :- #0.985.
link(25,78) :- #0.872.
link(78,25) :- #0.343.
link(25,96) :- #0.872.
link(96,25) :- #0.314.
link(25,108) :- #0.273.
link(108,25) :- #0.364.
link(25,109) :- #0.412.
link(109,25) :- #0.036.
link(25,118) :- #0.039.
link(118,25) :- #0.825.
link(26,30) :- #0.914.
link(30,26) :- #0.35.
link(26,41) :- #0.166.
link(41,26) :- #0.377.
link(26,46) :- #0.178.
link(46,26) :- #0.928.
link(26,47) :- #0.24.
link(47,26) :- #0.642.
link(26,53) :- #0.362.
link(53,26) :- #0.713.
link(26,79) :- #0.435.
link(79,26) :- #0.478.
link(26,123) :- #0.019.
link(123,26) :- #0.742.
link(26,129) :- #0.001.
link(129,26) :- #0.494.
link(27,34) :- #0.503.
link(34,27) :- #0.439.
link(27,35) :- #0.445.
link(35,27) :- #0.577.
link(27,48) :- #0.178.
link(48,27) :- #0.833.
link(27,64) :- #0.58.
link(64,27) :- #0.126.
link(27,93) :- #0.116.
link(93,27) :- #0.312.
link(27,112) :- #0.505.
link(112,27) :- #0.402.
link(27,124) :- #0.587.
link(124,27) :- #0.868.
link(28,40) :- #0.068.
link(40,28) :- #0.534.
link(28,45) :- #0.766.
link(45,28) :- #0.062.
link(28,50) :- #0.393.
link(50,28) :- #0.284.
link(28,54) :- #0.544.
link(54,28) :- #0.942.
link(28,87) :- #0.527.
link(87,28) :- #0.262.
link(28,88) :- #0.625.
link(88,28) :- #0.912.
link(28,110) :- #0.728.
link(110,28) :- #0.419.
link(28,115) :- #0.936.
link(115,28) :- #0.674.
link(29,35) :- #0.501.
link(35,29) :- #0.046.
link(29,70) :- #0.751.
link(70,29) :- #0.112.
link(29,77) :- #0.338.
link(77,29) :- #0.189.
link(29,91) :- #0.401.
link(91,29) :- #0.772.
link(29,98) :- #0.506.
link(98,29) :- #0.011.
link(29,101) :- #0.372.
link(101,29) :- #0.003.
link(29,102) :- #0.04.
link(102,29) :- #0.897.
link(29,125) :- #0.52.
link(125,29) :- #0.929.
link(29,126) :- #0.65.
link(126,29) :- #0.601.
link(30,34) :- #0.805.
link(34,30) :- #0.242.
link(30,40) :- #0.196.
link(40,30) :- #0.663.
link(30,42) :- #0.76.
link(42,30) :- #0.078.
link(30,53) :- #0.111.
link(53,30) :- #0.454.
link(30,60) :- #0.071.
link(60,30) :- #0.304.
link(30,67) :- #0.982.
link(67,30) :- #0.146.
link(30,78) :- #0.463.
link(78,30) :- #0.974.
link(30,79) :- #0.051.
link(79,30) :- #0.425.
link(30,83) :- #0.148.
link(83,30) :- #0.009.
link(30,88) :- #0.564.
link(88,30) :- #0.149.
link(30,91) :- #0.556.
link(91,30) :- #0.768.
link(30,97) :- #0.435.
link(97,30) :- #0.086.
link(30,98) :- #0.08.
link(98,30) :- #0.889.
link(30,111) :- #0.292.
link(111,30) :- #0.157.
link(30,112) :- #0.067.
link(112,30) :- #0.773.
link(30,113) :- #0.394.
link(113,30) :- #0.102.
link(30,114) :- #0.802.
link(114,30) :- #0.397.
link(30,128) :- #0.548.
link(128,30) :- #0.337.
link(31,36) :- #0.751.
link(36,31) :- #0.883.
link(31,47) :- #0.983.
link(47,31) :- #0.016.
link(31,49) :- #0.677.
link(49,31) :- #0.564.
link(31,52) :- #0.135.
link(52,31) :- #0.555.
link(31,61) :- #0.291.
link(61,31) :- #0.16.
link(31,79) :- #0.621.
link(79,31) :- #0.164.
link(31,108) :- #0.184.
link(108,31) :- #0.521.
link(31,128) :- #0.946.
link(128,31) :- #0.532.
link(32,42) :- #0.629.
link(42,32) :- #0.986.
link(32,66) :- #0.089.
link(66,32) :- #0.602.
link(32,74) :- #0.111.
link(74,32) :- #0.396.
link(32,85) :- #0.18.
link(85,32) :- #0.321.
link(32,101) :- #0.937.
link(101,32) :- #0.761.
link(32,103) :- #0.678.
link(103,32) :- #0.197.
link(32,118) :- #0.915.
link(118,32) :- #0.53.
link(33,37) :- #0.582.
link(37,33) :- #0.938.
link(33,39) :- #0.622.
link(39,33) :- #0.555.
link(33,46) :- #0.954.
link(46,33) :- #0.25.
link(33,50) :- #0.609.
link(50,33) :- #0.569.
link(33,66) :- #0.973.
link(66,33) :- #0.108.
link(33,80) :- #0.542.
link(80,33) :- #0.32.
link(33,83) :- #0.697.
link(83,33) :- #0.342.
link(33,90) :- #0.641.
link(90,33) :- #0.01.
link(33,97) :- #0.899.
link(97,33) :- #0.772.
link(33,109) :- #0.314.
link(109,33) :- #0.22.
link(33,121) :- #0.712.
link(121,33) :- #0.398.
link(33,125) :- #0.778.
link(125,33) :- #0.959.
link(33,128) :- #0.322.
link(128,33) :- #0.215.
link(34,42) :- #0.188.
link(42,34) :- #0.387.
link(34,57) :- #0.613.
link(57,34) :- #0.321.
link(34,78) :- #0.914.
link(78,34) :- #0.406.
link(34,84) :- #0.126.
link(84,34) :- #0.422.
link(34,86) :- #0.45.
link(86,34) :- #0.966.
link(34,111) :- #0.173.
link(111,34) :- #0.934.
link(34,120) :- #0.05.
link(120,34) :- #0.109.
link(34,125) :- #0.652.
link(125,34) :- #0.529.
link(34,128) :- #0.755.
link(128,34) :- #0.602.
link(35,44) :- #0.498.
link(44,35) :- #0.374.
link(35,45) :- #0.451.
link(45,35) :- #0.263.
link(35,58) :- #0.614.
link(58,35) :- #0.07.
link(35,61) :- #0.095.
link(61,35) :- #0.621.
link(35,63) :- #0.129.
link(63,35) :- #0.548.
link(35,88) :- #0.123.
link(88,35) :- #0.491.
link(35,124) :- #0.522.
link(124,35) :- #0.011.
link(36,39) :- #0.318.
link(39,36) :- #0.048.
link(36,45) :- #0.128.
link(45,36) :- #0.714.
link(36,48) :- #0.294.
link(48,36) :- #0.315.
link(36,53) :- #0.16.
link(53,36) :- #0.491.
link(36,61) :- #0.281.
link(61,36) :- #0.243.
link(36,86) :- #0.371.
link(86,36) :- #0.774.
link(36,102) :- #0.559.
link(102,36) :- #0.237.
link(36,107) :- #0.783.
link(107,36) :- #0.534.
link(36,119) :- #0.703.
link(119,36) :- #0.386.
link(36,128) :- #0.547.
link(128,36) :- #0.409.
link(36,130) :- #0.7.
link(130,36) :- #0.698.
link(37,48) :- #0.416.
link(48,37) :- #0.956.
link(37,53) :- #0.78.
link(53,37) :- #0.256.
link(37,61) :- #0.81.
link(61,37) :- #0.735.
link(37,86) :- #0.966.
link(86,37) :- #0.732.
link(37,101) :- #0.066.
link(101,37) :- #0.151.
link(37,119) :- #0.432.
link(119,37) :- #0.757.
link(37,122) :- #0.659.
link(122,37) :- #0.798.
link(37,129) :- #0.788.
link(129,37) :- #0.845.
link(37,130) :- #0.699.
link(130,37) :- #0.43.
link(38,62) :- #0.836.
link(62,38) :- #0.418.
link(38,68) :- #0.352.
link(68,38) :- #0.823.
link(38,69) :- #0.447.
link(69,38) :- #0.743.
link(38,98) :- #0.563.
link(98,38) :- #0.093.
link(38,103) :- #0.535.
link(103,38) :- #0.66.
link(38,119) :- #0.108.
link(119,38) :- #0.822.
link(39,44) :- #0.266.
link(44,39) :- #0.821.
link(39,53) :- #0.799.
link(53,39) :- #0.519.
link(39,57) :- #0.002.
link(57,39) :- #0.98.
link(39,64) :- #0.411.
link(64,39) :- #0.846.
link(39,69) :- #0.229.
link(69,39) :- #0.977.
link(39,72) :- #0.316.
link(72,39) :- #0.077.
link(39,99) :- #0.992.
link(99,39) :- #0.295.
link(39,103) :- #0.963.
link(103,39) :- #0.912.
link(39,119) :- #0.769.
link(119,39) :- #0.155.
link(39,124) :- #0.604.
link(124,39) :- #0.846.
link(39,125) :- #0.419.
link(125,39) :- #0.641.
link(40,51) :- #0.218.
link(51,40) :- #0.372.
link(40,56) :- #0.667.
link(56,40) :- #0.255.
link(40,62) :- #0.455.
link(62,40) :- #0.734.
link(40,66) :- #0.758.
link(66,40) :- #0.076.
link(40,76) :- #0.992.
link(76,40) :- #0.3.
link(40,85) :- #0.618.
link(85,40) :- #0.442.
link(40,86) :- #0.635.
link(86,40) :- #0.795.
link(40,89) :- #0.167.
link(89,40) :- #0.119.
link(41,83) :- #0.307.
link(83,41) :- #0.286.
link(41,91) :- #0.027.
link(91,41) :- #0.677.
link(42,51) :- #0.107.
link(51,42) :- #0.229.
link(42,63) :- #0.65.
link(63,42) :- #0.303.
link(42,64) :- #0.531.
link(64,42) :- #0.883.
link(42,75) :- #0.054.
link(75,42) :- #0.253.
link(42,89) :- #0.815.
link(89,42) :- #0.829.
link(42,95) :- #0.541.
link(95,42) :- #0.469.
link(42,96) :- #0.835.
link(96,42) :- #0.817.
link(42,103) :- #0.735.
link(103,42) :- #0.474.
link(42,109) :- #0.922.
link(109,42) :- #0.375.
link(42,111) :- #0.546.
link(111,42) :- #0.203.
link(42,117) :- #0.218.
link(117,42) :- #0.031.
link(42,123) :- #0.243.
link(123,42) :- #0.142.
link(43,50) :- #0.061.
link(50,43) :- #0.808.
link(43,73) :- #0.368.
link(73,43) :- #0.473.
link(43,81) :- #0.616.
link(81,43) :- #0.521.
link(43,94) :- #0.028.
link(94,43) :- #0.426.
link(43,96) :- #0.435.
link(96,43) :- #0.835.
link(43,106) :- #0.664.
link(106,43) :- #0.82.
link(43,124) :- #0.127.
link(124,43) :- #0.949.
link(43,129) :- #0.597.
link(129,43) :- #0.778.
link(44,52) :- #0.518.
link(52,44) :- #0.01.
link(44,83) :- #0.739.
link(83,44) :- #0.708.
link(44,114) :- #0.032.
link(114,44) :- #0.999.
link(44,118) :- #0.156.
link(118,44) :- #0.032.
link(44,126) :- #0.708.
link(126,44) :- #0.194.
link(45,48) :- #0.887.
link(48,45) :- #0.474.
link(45,55) :- #0.044.
link(55,45) :- #0.489.
link(45,58) :- #0.228.
link(58,45) :- #0.494.
link(45,71) :- #0.541.
link(71,45) :- #0.784.
link(45,74) :- #0.746.
link(74,45) :- #0.139.
link(45,82) :- #0.202.
link(82,45) :- #0.335.
link(45,87) :- #0.588.
link(87,45) :- #0.823.
link(45,95) :- #0.963.
link(95,45) :- #0.994.
link(45,96) :- #0.391.
link(96,45) :- #0.759.
link(45,108) :- #0.934.
link(108,45) :- #0.533.
link(45,115) :- #0.573.
link(115,45) :- #0.785.
link(45,124) :- #0.725.
link(124,45) :- #0.04.
link(45,130) :- #0.115.
link(130,45) :- #0.333.
link(46,61) :- #0.049.
link(61,46) :- #0.513.
link(46,71) :- #0.882.
link(71,46) :- #0.486.
link(46,80) :- #0.175.
link(80,46) :- #0.037.
link(46,87) :- #0.051.
link(87,46) :- #0.315.
link(46,97) :- #0.853.
link(97,46) :- #0.319.
link(46,108) :- #0.486.
link(108,46) :- #0.539.
link(46,114) :- #0.601.
link(114,46) :- #0.012.
link(46,126) :- #0.82.
link(126,46) :- #0.645.
link(47,71) :- #0.18.
link(71,47) :- #0.321.
link(47,73) :- #0.148.
link(73,47) :- #0.715.
link(47,98) :- #0.81.
link(98,47) :- #0.525.
link(47,100) :- #0.368.
link(100,47) :- #0.824.
link(47,105) :- #0.815.
link(105,47) :- #0.359.
link(48,56) :- #0.369.
link(56,48) :- #0.038.
link(48,59) :- #0.792.
link(59,48) :- #0.975.
link(48,82) :- #0.07.
link(82,48) :- #0.968.
link(48,85) :- #0.707.
link(85,48) :- #0.492.
link(48,88) :- #0.283.
link(88,48) :- #0.933.
link(48,94) :- #0.187.
link(94,48) :- #0.854.
link(48,99) :- #0.906.
link(99,48) :- #0.978.
link(48,100) :- #0.414.
link(100,48) :- #0.809.
link(48,101) :- #0.119.
link(101,48) :- #0.015.
link(48,107) :- #0.746.
link(107,48) :- #0.877.
link(48,109) :- #0.261.
link(109,48) :- #0.903.
link(48,112) :- #0.4.
link(112,48) :- #0.086.
link(49,95) :- #0.402.
link(95,49) :- #0.317.
link(49,97) :- #0.153.
link(97,49) :- #0.122.
link(49,110) :- #0.473.
link(110,49) :- #0.371.
link(49,116) :- #0.183.
link(116,49) :- #0.422.
link(50,53) :- #0.956.
link(53,50) :- #0.3.
link(50,58) :- #0.354.
link(58,50) :- #0.066.
link(50,65) :- #0.757.
link(65,50) :- #0.435.
link(50,118) :- #0.835.
link(118,50) :- #0.366.
link(50,122) :- #0.138.
link(122,50) :- #0.761.
link(51,56) :- #0.044.
link(56,51) :- #0.68.
link(51,71) :- #0.548.
link(71,51) :- #0.554.
link(51,82) :- #0.995.
link(82,51) :- #0.477.
link(51,84) :- #0.433.
link(84,51) :- #0.841.
link(51,98) :- #0.046.
link(98,51) :- #0.545.
link(52,75) :- #0.635.
link(75,52) :- #0.477.
link(52,91) :- #0.416.
link(91,52) :- #0.68.
link(52,97) :- #0.74.
link(97,52) :- #0.712.
link(52,99) :- #0.124.
link(99,52) :- #0.28.
link(52,106) :- #0.665.
link(106,52) :- #0.709.
link(52,115) :- #0.993.
link(115,52) :- #0.296.
link(52,118) :- #0.165.
link(118,52) :- #0.133.
link(52,130) :- #0.193.
link(130,52) :- #0.47.
link(53,76) :- #0.727.
link(76,53) :- #0.866.
link(53,84) :- #0.419.
link(84,53) :- #0.087.
link(53,107) :- #0.148.
link(107,53) :- #0.021.
link(53,122) :- #0.972.
link(122,53) :- #0.643.
link(53,124) :- #0.778.
link(124,53) :- #0.685.
link(54,62) :- #0.848.
link(62,54) :- #0.239.
link(54,63) :- #0.098.
link(63,54) :- #0.351.
link(54,75) :- #0.901.
link(75,54) :- #0.808.
link(54,86) :- #0.597.
link(86,54) :- #0.669.
link(54,92) :- #0.456.
link(92,54) :- #0.75.
link(54,107) :- #0.458.
link(107,54) :- #0.229.
link(54,118) :- #0.512.
link(118,54) :- #0.511.
link(54,119) :- #0.811.
link(119,54) :- #0.344.
link(54,121) :- #0.34.
link(121,54) :- #0.301.
link(55,58) :- #0.35.
link(58,55) :- #0.7.
link(55,67) :- #0.525.
link(67,55) :- #0.362.
link(55,75) :- #0.298.
link(75,55) :- #0.888.
link(55,77) :- #0.
link(77,55) :- #0.332.
link(55,79) :- #0.47.
link(79,55) :- #0.94.
link(55,98) :- #0.657.
link(98,55) :- #0.507.
link(55,107) :- #0.906.
link(107,55) :- #0.464.
link(55,118) :- #0.549.
link(118,55) :- #0.688.
link(55,122) :- #0.943.
link(122,55) :- #0.791.
link(55,126) :- #0.485.
link(126,55) :- #0.596.
link(56,72) :- #0.039.
link(72,56) :- #0.92.
link(56,85) :- #0.868.
link(85,56) :- #0.915.
link(56,97) :- #0.231.
link(97,56) :- #0.203.
link(56,114) :- #0.758.
link(114,56) :- #0.348.
link(56,122) :- #0.092.
link(122,56) :- #0.656.
link(56,130) :- #0.17.
link(130,56) :- #0.01.
link(57,78) :- #0.954.
link(78,57) :- #0.066.
link(57,86) :- #0.218.
link(86,57) :- #0.961.
link(57,90) :- #0.114.
link(90,57) :- #0.365.
link(57,93) :- #0.805.
link(93,57) :- #0.18.
link(57,97) :- #0.759.
link(97,57) :- #0.049.
link(57,100) :- #0.333.
link(100,57) :- #0.259.
link(58,64) :- #0.379.
link(64,58) :- #0.025.
link(58,81) :- #0.71.
link(81,58) :- #0.96.
link(58,87) :- #0.911.
link(87,58) :- #0.556.
link(58,105) :- #0.356.
link(105,58) :- #0.645.
link(58,116) :- #0.704.
link(116,58) :- #0.028.
link(58,118) :- #0.563.
link(118,58) :- #0.866.
link(58,126) :- #0.364.
link(126,58) :- #0.608.
link(59,60) :- #0.762.
link(60,59) :- #0.627.
link(59,65) :- #0.491.
link(65,59) :- #0.536.
link(59,73) :- #0.612.
link(73,59) :- #0.608.
link(59,77) :- #0.462.
link(77,59) :- #0.513.
link(59,91) :- #0.434.
link(91,59) :- #0.965.
link(59,97) :- #0.429.
link(97,59) :- #0.218.
link(59,114) :- #0.119.
link(114,59) :- #0.755.
link(59,116) :- #0.249.
link(116,59) :- #0.45.
link(59,117) :- #0.925.
link(117,59) :- #0.222.
link(59,123) :- #0.756.
link(123,59) :- #0.33.
link(59,129) :- #0.546.
link(129,59) :- #0.703.
link(60,73) :- #0.64.
link(73,60) :- #0.697.
link(60,81) :- #0.754.
link(81,60) :- #0.82.
link(60,89) :- #0.748.
link(89,60) :- #0.685.
link(61,63) :- #0.936.
link(63,61) :- #0.685.
link(61,67) :- #0.312.
link(67,61) :- #0.076.
link(61,69) :- #0.979.
link(69,61) :- #0.561.
link(61,72) :- #0.864.
link(72,61) :- #0.441.
link(61,73) :- #0.414.
link(73,61) :- #0.592.
link(61,79) :- #0.251.
link(79,61) :- #0.352.
link(61,80) :- #0.194.
link(80,61) :- #0.901.
link(61,89) :- #0.582.
link(89,61) :- #0.801.
link(61,91) :- #0.391.
link(91,61) :- #0.349.
link(61,116) :- #0.334.
link(116,61) :- #0.707.
link(61,117) :- #0.732.
link(117,61) :- #0.206.
link(62,68) :- #0.503.
link(68,62) :- #0.643.
link(62,85) :- #0.813.
link(85,62) :- #0.647.
link(62,100) :- #0.206.
link(100,62) :- #0.166.
link(62,113) :- #0.068.
link(113,62) :- #0.611.
link(62,128) :- #0.764.
link(128,62) :- #0.824.
link(63,82) :- #0.789.
link(82,63) :- #0.887.
link(63,85) :- #0.963.
link(85,63) :- #0.788.
link(63,97) :- #0.326.
link(97,63) :- #0.096.
link(63,127) :- #0.095.
link(127,63) :- #0.409.
link(64,71) :- #0.999.
link(71,64) :- #0.328.
link(64,76) :- #0.838.
link(76,64) :- #0.736.
link(64,80) :- #0.373.
link(80,64) :- #0.873.
link(64,94) :- #0.187.
link(94,64) :- #0.348.
link(64,96) :- #0.585.
link(96,64) :- #0.513.
link(64,114) :- #0.183.
link(114,64) :- #0.867.
link(64,122) :- #0.175.
link(122,64) :- #0.195.
link(64,130) :- #0.127.
link(130,64) :- #0.192.
link(65,82) :- #0.603.
link(82,65) :- #0.261.
link(65,94) :- #0.501.
link(94,65) :- #0.33.
link(65,101) :- #0.977.
link(101,65) :- #0.274.
link(65,117) :- #0.761.
link(117,65) :- #0.287.
link(66,69) :- #0.73.
link(69,66) :- #0.691.
link(66,70) :- #0.195.
link(70,66) :- #0.75.
link(66,128) :- #0.383.
link(128,66) :- #0.053.
link(67,69) :- #0.825.
link(69,67) :- #0.506.
link(67,78) :- #0.63.
link(78,67) :- #0.951.
link(67,79) :- #0.016.
link(79,67) :- #0.986.
link(67,87) :- #0.62.
link(87,67) :- #0.234.
link(67,103) :- #0.533.
link(103,67) :- #0.987.
link(67,107) :- #0.264.
link(107,67) :- #0.619.
link(67,116) :- #0.866.
link(116,67) :- #0.111.
link(67,120) :- #0.081.
link(120,67) :- #0.07.
link(68,76) :- #0.135.
link(76,68) :- #0.533.
link(68,79) :- #0.505.
link(79,68) :- #0.021.
link(68,88) :- #0.752.
link(88,68) :- #0.225.
link(68,97) :- #0.771.
link(97,68) :- #0.144.
link(68,98) :- #0.605.
link(98,68) :- #0.313.
link(68,101) :- #0.569.
link(101,68) :- #0.004.
link(68,127) :- #0.204.
link(127,68) :- #0.943.
link(69,70) :- #0.399.
link(70,69) :- #0.554.
link(69,81) :- #0.275.
link(81,69) :- #0.219.
link(69,87) :- #0.189.
link(87,69) :- #0.106.
link(69,89) :- #0.392.
link(89,69) :- #0.914.
link(69,104) :- #0.702.
link(104,69) :- #0.662.
link(69,110) :- #0.683.
link(110,69) :- #0.818.
link(69,120) :- #0.914.
link(120,69) :- #0.405.
link(69,121) :- #0.502.
link(121,69) :- #0.533.
link(70,98) :- #0.03.
link(98,70) :- #0.864.
link(70,115) :- #0.333.
link(115,70) :- #0.096.
link(70,124) :- #0.629.
link(124,70) :- #0.764.
link(71,73) :- #0.698.
link(73,71) :- #0.074.
link(71,80) :- #0.346.
link(80,71) :- #0.605.
link(71,85) :- #0.406.
link(85,71) :- #0.331.
link(71,99) :- #0.194.
link(99,71) :- #0.635.
link(71,110) :- #0.1.
link(110,71) :- #0.855.
link(72,77) :- #0.592.
link(77,72) :- #0.233.
link(72,87) :- #0.644.
link(87,72) :- #0.286.
link(72,88) :- #0.073.
link(88,72) :- #0.054.
link(72,92) :- #0.811.
link(92,72) :- #0.652.
link(72,97) :- #0.774.
link(97,72) :- #0.143.
link(72,108) :- #0.783.
link(108,72) :- #0.563.
link(72,111) :- #0.004.
link(111,72) :- #0.978.
link(73,89) :- #0.929.
link(89,73) :- #0.548.
link(73,97) :- #0.244.
link(97,73) :- #0.056.
link(73,98) :- #0.953.
link(98,73) :- #0.425.
link(73,102) :- #0.997.
link(102,73) :- #0.646.
link(73,106) :- #0.897.
link(106,73) :- #0.556.
link(74,76) :- #0.376.
link(76,74) :- #0.214.
link(74,78) :- #0.377.
link(78,74) :- #0.584.
link(74,85) :- #0.443.
link(85,74) :- #0.227.
link(74,89) :- #0.269.
link(89,74) :- #0.891.
link(74,114) :- #0.261.
link(114,74) :- #0.737.
link(74,115) :- #0.584.
link(115,74) :- #0.469.
link(74,116) :- #0.699.
link(116,74) :- #0.604.
link(74,121) :- #0.184.
link(121,74) :- #0.484.
link(74,123) :- #0.076.
link(123,74) :- #0.371.
link(74,124) :- #0.084.
link(124,74) :- #0.27.
link(75,80) :- #0.291.
link(80,75) :- #0.799.
link(75,89) :- #0.391.
link(89,75) :- #0.428.
link(76,77) :- #0.534.
link(77,76) :- #0.395.
link(76,82) :- #0.111.
link(82,76) :- #0.61.
link(76,88) :- #0.788.
link(88,76) :- #0.198.
link(76,125) :- #0.69.
link(125,76) :- #0.326.
link(77,79) :- #0.16.
link(79,77) :- #0.493.
link(77,83) :- #0.634.
link(83,77) :- #0.055.
link(77,89) :- #0.461.
link(89,77) :- #0.418.
link(77,105) :- #0.012.
link(105,77) :- #0.163.
link(78,82) :- #0.189.
link(82,78) :- #0.002.
link(78,90) :- #0.27.
link(90,78) :- #0.773.
link(78,92) :- #0.123.
link(92,78) :- #0.411.
link(78,95) :- #0.201.
link(95,78) :- #0.185.
link(78,117) :- #0.556.
link(117,78) :- #0.052.
link(78,124) :- #0.16.
link(124,78) :- #0.6.
link(78,127) :- #0.857.
link(127,78) :- #0.142.
link(79,95) :- #0.742.
link(95,79) :- #0.47.
link(79,98) :- #0.793.
link(98,79) :- #0.766.
link(79,101) :- #0.1.
link(101,79) :- #0.413.
link(79,113) :- #0.953.
link(113,79) :- #0.975.
link(80,84) :- #0.295.
link(84,80) :- #0.292.
link(80,98) :- #0.642.
link(98,80) :- #0.88.
link(80,118) :- #0.467.
link(118,80) :- #0.22.
link(80,129) :- #0.045.
link(129,80) :- #0.715.
link(81,82) :- #0.943.
link(82,81) :- #0.154.
link(81,87) :- #0.849.
link(87,81) :- #0.828.
link(81,109) :- #0.543.
link(109,81) :- #0.598.
link(81,111) :- #0.276.
link(111,81) :- #0.111.
link(81,115) :- #0.449.
link(115,81) :- #0.359.
link(81,130) :- #0.916.
link(130,81) :- #0.623.
link(82,84) :- #0.845.
link(84,82) :- #0.167.
link(82,97) :- #0.381.
link(97,82) :- #0.517.
link(82,104) :- #0.676.
link(104,82) :- #0.288.
link(82,130) :- #0.539.
link(130,82) :- #0.587.
link(83,86) :- #0.01.
link(86,83) :- #0.579.
link(83,97) :- #0.698.
link(97,83) :- #0.308.
link(83,111) :- #0.562.
link(111,83) :- #0.145.
link(83,116) :- #0.111.
link(116,83) :- #0.334.
link(84,90) :- #0.56.
link(90,84) :- #0.115.
link(84,97) :- #0.476.
link(97,84) :- #0.6.
link(84,100) :- #0.67.
link(100,84) :- #0.77.
link(84,125) :- #0.916.
link(125,84) :- #0.224.
link(85,93) :- #0.632.
link(93,85) :- #0.342.
link(85,97) :- #0.306.
link(97,85) :- #0.809.
link(85,112) :- #0.411.
link(112,85) :- #0.284.
link(85,121) :- #0.588.
link(121,85) :- #0.877.
link(86,87) :- #0.366.
link(87,86) :- #0.452.
link(86,92) :- #0.163.
link(92,86) :- #0.576.
link(86,100) :- #0.473.
link(100,86) :- #0.737.
link(86,113) :- #0.014.
link(113,86) :- #0.237.
link(86,122) :- #0.19.
link(122,86) :- #0.845.
link(86,126) :- #0.318.
link(126,86) :- #0.65.
link(86,128) :- #0.861.
link(128,86) :- #0.643.
link(87,93) :- #0.079.
link(93,87) :- #0.109.
link(87,101) :- #0.67.
link(101,87) :- #0.215.
link(87,104) :- #0.343.
link(104,87) :- #0.354.
link(87,113) :- #0.233.
link(113,87) :- #0.26.
link(87,118) :- #0.571.
link(118,87) :- #0.052.
link(88,100) :- #0.971.
link(100,88) :- #0.934.
link(88,111) :- #0.541.
link(111,88) :- #0.408.
link(89,110) :- #0.874.
link(110,89) :- #0.762.
link(89,113) :- #0.132.
link(113,89) :- #0.003.
link(89,130) :- #0.192.
link(130,89) :- #0.779.
link(90,93) :- #0.371.
link(93,90) :- #0.982.
link(90,105) :- #0.76.
link(105,90) :- #0.968.
link(90,112) :- #0.329.
link(112,90) :- #0.031.
link(90,115) :- #0.028.
link(115,90) :- #0.136.
link(90,118) :- #0.901.
link(118,90) :- #0.019.
link(90,120) :- #0.618.
link(120,90) :- #0.149.
link(91,98) :- #0.822.
link(98,91) :- #0.181.
link(91,105) :- #0.262.
link(105,91) :- #0.634.
link(91,108) :- #0.854.
link(108,91) :- #0.101.
link(91,113) :- #0.819.
link(113,91) :- #0.526.
link(91,118) :- #0.115.
link(118,91) :- #0.445.
link(91,129) :- #0.584.
link(129,91) :- #0.821.
link(92,102) :- #0.56.
link(102,92) :- #0.298.
link(92,107) :- #0.223.
link(107,92) :- #0.471.
link(92,108) :- #0.563.
link(108,92) :- #0.528.
link(92,114) :- #0.083.
link(114,92) :- #0.86.
link(92,118) :- #0.034.
link(118,92) :- #0.757.
link(92,125) :- #0.803.
link(125,92) :- #0.108.
link(93,104) :- #0.161.
link(104,93) :- #0.217.
link(94,96) :- #0.575.
link(96,94) :- #0.453.
link(94,104) :- #0.4.
link(104,94) :- #0.046.
link(94,107) :- #0.995.
link(107,94) :- #0.924.
link(94,114) :- #0.115.
link(114,94) :- #0.839.
link(94,115) :- #0.605.
link(115,94) :- #0.139.
link(95,105) :- #0.129.
link(105,95) :- #0.584.
link(95,128) :- #0.243.
link(128,95) :- #0.3.
link(96,110) :- #0.375.
link(110,96) :- #0.518.
link(96,113) :- #0.56.
link(113,96) :- #0.886.
link(96,123) :- #0.882.
link(123,96) :- #0.875.
link(96,126) :- #0.128.
link(126,96) :- #0.32.
link(98,104) :- #0.1.
link(104,98) :- #0.682.
link(98,107) :- #0.85.
link(107,98) :- #0.406.
link(98,118) :- #0.277.
link(118,98) :- #0.604.
link(98,119) :- #0.805.
link(119,98) :- #0.067.
link(98,122) :- #0.503.
link(122,98) :- #0.518.
link(101,104) :- #0.497.
link(104,101) :- #0.956.
link(101,110) :- #0.559.
link(110,101) :- #0.11.
link(101,115) :- #0.218.
link(115,101) :- #0.67.
link(101,123) :- #0.628.
link(123,101) :- #0.933.
link(101,125) :- #0.819.
link(125,101) :- #0.483.
link(102,126) :- #0.995.
link(126,102) :- #0.154.
link(103,104) :- #0.704.
link(104,103) :- #0.714.
link(103,109) :- #0.418.
link(109,103) :- #0.862.
link(103,123) :- #0.11.
link(123,103) :- #0.813.
link(103,127) :- #0.761.
link(127,103) :- #0.426.
link(104,107) :- #0.135.
link(107,104) :- #0.308.
link(105,106) :- #0.845.
link(106,105) :- #0.658.
link(105,111) :- #0.325.
link(111,105) :- #0.302.
link(106,116) :- #0.28.
link(116,106) :- #0.693.
link(106,117) :- #0.734.
link(117,106) :- #0.985.
link(106,126) :- #0.961.
link(126,106) :- #0.701.
link(107,109) :- #0.856.
link(109,107) :- #0.736.
link(107,124) :- #0.209.
link(124,107) :- #0.076.
link(107,128) :- #0.044.
link(128,107) :- #0.831.
link(108,125) :- #0.505.
link(125,108) :- #0.289.
link(109,115) :- #0.387.
link(115,109) :- #0.551.
link(109,116) :- #0.754.
link(116,109) :- #0.485.
link(109,118) :- #0.299.
link(118,109) :- #0.733.
link(109,127) :- #0.064.
link(127,109) :- #0.319.
link(109,128) :- #0.701.
link(128,109) :- #0.392.
link(110,118) :- #0.602.
link(118,110) :- #0.849.
link(111,116) :- #0.638.
link(116,111) :- #0.393.
link(111,117) :- #0.883.
link(117,111) :- #0.295.
link(111,120) :- #0.028.
link(120,111) :- #0.854.
link(112,115) :- #0.495.
link(115,112) :- #0.428.
link(112,119) :- #0.166.
link(119,112) :- #0.792.
link(112,121) :- #0.105.
link(121,112) :- #0.692.
link(113,118) :- #0.226.
link(118,113) :- #0.773.
link(113,122) :- #0.421.
link(122,113) :- #0.135.
link(113,124) :- #0.874.
link(124,113) :- #0.147.
link(113,125) :- #0.618.
link(125,113) :- #0.773.
link(115,118) :- #0.611.
link(118,115) :- #0.825.
link(115,119) :- #0.452.
link(119,115) :- #0.513.
link(116,118) :- #0.821.
link(118,116) :- #0.983.
link(116,125) :- #0.695.
link(125,116) :- #0.547.
link(119,128) :- #0.775.
link(128,119) :- #0.266.
link(120,126) :- #0.488.
link(126,120) :- #0.726.
link(121,125) :- #0.761.
link(125,121) :- #0.854.
link(122,123) :- #0.314.
link(123,122) :- #0.664.
link(127,130) :- #0.052.
link(130,127) :- #0.596.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
